Coalgebraic Aspects of Bidirectional Computation.
نویسندگان
چکیده
منابع مشابه
Coalgebraic Aspects of Bidirectional Computation
We have previously (Bx, 2014; MPC, 2015) shown that several state-based bx formalisms can be captured using monadic functional pro-gramming, using the state monad together with possibly other monadiceffects, giving rise to structures we have called monadic bx (mbx). Inthis paper, we develop a coalgebraic theory of state-based bx, and relatethe resulting coalgebraic structure...
متن کاملCoalgebraic Quantum Computation
Coalgebras generalize various kinds of dynamical systems occuring in mathematics and computer science. Examples of systems that can be modeled as coalgebras include automata and Markov chains. We will present a coalgebraic representation of systems occuring in the field of quantum computation, using convex sets of density matrices as state spaces. This will allow us to derive a method to conver...
متن کاملCoalgebraic Semantics for Quantum Computation
Coalgebras generalize various kinds of dynamical systems occuring in mathematics and computer science. Examples of systems that can be modeled as coalgebras include automata and Markov chains. In this thesis we will present a coalgebraic representation of systems occuring in the field of quantum computation. This will allow us to derive a method to convert quantum mechanical systems into simple...
متن کاملCoalgebraic Walks, in Quantum and Turing Computation
The paper investigates non-deterministic, probabilistic and quantum walks, from the perspective of coalgebras and monads. Nondeterministic and probabilistic walks are coalgebras of a monad (powerset and distribution), in an obvious manner. It is shown that also quantum walks are coalgebras of a new monad, involving additional control structure. This new monad is also used to describe Turing mac...
متن کاملFunction Computation through a Bidirectional Relay
We consider a function computation problem in a three node wireless network. Nodes A and B observe two correlated sources X and Y respectively, and want to compute a function f(X,Y ). To achieve this, nodes A and B send messages to a relay node C at rates RA and RB respectively. The relay C then broadcasts a message to A and B at rate RC . We allow block coding, and study the achievable region ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2017
ISSN: 1660-1769
DOI: 10.5381/jot.2017.16.1.a1